$\forall$$n$:$\mathbb{N}$, $a$, $b$:$\mathbb{Z}$. sum($a$+$b$$\cdot$$i$ $\mid$ $i$ $<$ $n$) $=$ (($n$$\cdot$($a$+$a$+$b$$\cdot$($n$$-$1))) $\div$ 2)